BATMAN: Statistical analysis for expensive computer codes made easy

Abdominal Fluid Collection and Analysis Made Easy

Introduction Dogs and cats often present to veterinary clinics because of the appearance of a pendulous or enlarged abdomen or for clinical signs secondary to abdominal fluid accumulation. Abdominal fluid can accumulate from a variety of disease processes including many serious conditions that require immediate intervention. Sometimes the condition that led to the accumulation of abdominal flui...

Snowfall: Hardware Stream Analysis Made Easy

In this demonstration, we showcase Snowfall, a compiler tool for low-level stream analysis. Comparable to scanner generators for software-based systems (e.g., lex/flex), Snowfall can be used to decode incoming data streams in hardware, react to low-level patterns in a stream, and perform initial input data analysis. Snowfall plays well together with Glacier, a query-to-hardware compiler that we...

COMPUTER CODES FOR COLLIDING BODIES OPTIMIZATION AND ITS ENHANCED VERSION

Colliding bodies optimization (CBO) is a new population-based stochastic optimization algorithm based on the governing laws of one dimensional collision between two bodies from the physics. Each agent is modeled as a body with a specified mass and velocity. A collision occurs between pairs of objects to find the global or near-global solutions. Enhanced colliding bodies optimization (ECBO) uses...

Atom Bomb Made Easy

Concurrent Programming Made Easy

The task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. In this paper we describe a constraint-based methodology for writing concurrent applications. A system is modeled as: (a) a set of processes containing a sequence of “markers” denoting the processes points of interest; and (b...